本文从Ｉｄｅａｌ的基本概念出发，研究了Ｉｄｅａｌ作为类型的语义模型所具有的性质．在类型的Ｉｄｅａｌ模型下，讨论了Ｇａｒｍｅｎｔ中参数化多态类型和约束多态类型的语义．并在此基......